//
// Created by wuzhuya on 23-12-26.
//
#include <chenpuchuos/chenpuchuos.h>
#include <chenpuchuos/types.h>
#include <chenpuchuos/string.h>
#include <chenpuchuos/console.h>

char message[] = "test\n";

void kernel_init() {
    console_init();
    while (true){
        console_write(message, sizeof(message) - 1);
    }
    return;
}
